arguments and rules of inference